<?php
class SignalExit		extends Exception {}
class SignalCmdUnknown	extends Exception {}
class SignalArgUnknown	extends Exception {}